Normal form - PDFSEARCH.IO - Document Search Engine

Normal form
Results: 706

#	Item
351	The Nash Threats Folk Theorem With Communication and Approximate Common Knowledge in Two Player Games1 Drew Fudenberg David K. Levine2 Add to Reading List Source URL: levine.sscnet.ucla.edu Language: English - Date: 2004-06-17 14:23:12 Outcome Quadrature amplitude modulation Strategy Trembling hand perfect equilibrium Normal-form game Repeated game Risk dominance Epsilon-equilibrium Game theory Problem solving Nash equilibrium
352	Efficient Extraction of Skolem Functions from QRAT Proofs Marijn J.H. Heule Martina Seidl and Armin Biere Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-07-31 09:58:16 Model theory Automated theorem proving Boolean algebra Metalogic First-order logic Function True quantified Boolean formula Skolem normal form Resolution Mathematics Logic Mathematical logic
353	Mechanism Design and Intentions∗ Felix Bierbrauer University of Cologne Nick Netzer University of Zurich Add to Reading List Source URL: federation.ens.fr Language: English - Date: 2012-11-22 04:11:23 Science Outcome Mechanism design Nash equilibrium Revelation principle Extensive-form game Bayesian game Normal-form game Preference Game theory Problem solving Economics
354	Subjective Uncertainty over Behavior Strategies: A Correction * Running Title: Uncertainty over Behavior Strategies Eddie Dekel, Drew Fudenberg, and David K. Levine Add to Reading List Source URL: levine.sscnet.ucla.edu Language: English - Date: 2001-06-16 12:14:50 Sequential equilibrium Bayesian game Extensive-form game Nash equilibrium Rationalizability Self-confirming equilibrium Solution concept Normal-form game Strategy Game theory Problem solving Economics
355	Trimming while Checking Clausal Proofs Marijn J.H. Heule, Warren A. Hunt, Jr., and Nathan Wetzler The University of Texas at Austin Abstract—Conflict-driven clause learning (CDCL) satisfiability solvers can emit more t Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-01-02 11:58:01 Unsatisfiable core Conjunctive normal form Resolution Five lemma Theorem Logic programming Unit propagation Automated proof checking Boolean satisfiability problem Logic Mathematics Automated theorem proving
356	Clause Elimination Procedures for CNF Formulas Marijn Heule1 , Matti J¨arvisalo2 , and Armin Biere3 1 3 Department of Software Technology, Delft University of Technology, The Netherlands Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2010-11-29 07:34:30 Automated theorem proving Mathematical logic Propositional calculus Logic in computer science NP-complete problems Conjunctive normal form Resolution Boolean satisfiability problem Unit propagation Theoretical computer science Logic Mathematics
357	Revisiting Hyper Binary Resolution Marijn J.H. Heule1,3 , Matti J¨arvisalo2 , and Armin Biere3 1 3 Department of Computer Science, The University of Texas at Austin, United States Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-01-02 14:06:39 Automated theorem proving Logic in computer science NP-complete problems Conjunctive normal form Resolution Unit propagation Boolean satisfiability problem Literal Transitivity Theoretical computer science Mathematical logic Mathematics
358	Ann Math Artif Intell DOI[removed]s10472[removed]A unifying learning framework for building artificial game-playing agents Wenlin Chen · Yixin Chen · David K. Levine Add to Reading List Source URL: levine.sscnet.ucla.edu Language: English - Date: 2015-02-11 05:55:08 Science Best response Normal-form game Nash equilibrium Repeated game Strategy Reinforcement learning Machine learning Outcome Game theory Problem solving Economics
359	Covered Clause Elimination Marijn Heule∗ TU Delft, The Netherlands Matti J¨arvisalo† Univ. Helsinki, Finland Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2010-11-29 07:30:47 Automated theorem proving Logic in computer science NP-complete problems Logic programming Conjunctive normal form Boolean satisfiability problem Unit propagation Resolution Clause Theoretical computer science Mathematical logic Mathematics
360	Continuous Time Limits of Repeated Games with Imperfect Public Monitoring1 Drew Fudenberg and David K. Levine2 This version: [removed]First version: [removed] Add to Reading List Source URL: levine.sscnet.ucla.edu Language: English - Date: 2007-05-29 08:07:41 Outcome Strategy Normal-form game Repeated game Risk dominance Game theory Problem solving Nash equilibrium

UPDATE